//
// Created by ziya on 2023/7/10.
//

#include "kernel.h"
#include "ya_shell.h"
#include "task.h"

void* kernel_thread(void* arg) {
    active_ya_shell();

    while (true) {
//        printk("kernel_thread\n");
        asm volatile("hlt;");
    }
}